由
和积分性质
即得.
左式由 1.1 和微分性质即得.
右式由 1.2 和微分性质即得.
由
即得.
右式由对称性质即得.
左式由 3.1 和微分性质即得.
右式由 3.2 和微分性质即得.